Effect of gums on viability and β‐galactosidase activity of Lactobacillus spp. in milk drink during refrigerated storage

The viability and β‐galactosidase activity of four Lactobacillus strains in milk drink containing gums during 28 days of refrigerated storage at 4 °C were assessed. The population of Lactobacillus rhamnosus GGB101 and Lactobacillus rhamnosus GGB103 were maintained, whereas the population of Lactobacillus reuteri DSM20016 and Lactobacillus reuteri SD2112 significantly decreased. The recommended level of 6 log CFU g^?1 was exceeded for all tested trains throughout storage. The highest viable number of Lactobacillus rhamnosus GGB103 (8.76 ± 0.03 log CFU mL^?1) was obtained in the product containing carrageenan–maltodextrin. The addition of guar–locust bean–carrageenan led to 20‐fold increase in the level of β‐galactosidase activity for L. rhamnosus GGB101 (1208 ± 2.12 Miller units mL^?1) compared to the control (61 ± 2.83 Miller units mL^?1). Our results suggested that gums could be added to milk to improve viability and enhance β‐galactosidase activity of Lactobacillus.     

Effects of SO2 on selective catalytic reduction of NO with NH3 over a TiO2 photocatalyst

The effect of SO₂ gas was investigated on the activity of the photo-assisted selective catalytic reduction of nitrogen monoxide (NO) with ammonia (NH₃) over a TiO₂ photocatalyst in the presence of excess oxygen (photo-SCR). The introduction of SO₂ (300 ppm) greatly decreased the activity of the photo-SCR at 373 K. The increment of the reaction temperature enhanced the resistance to SO₂ gas, and at 553 K the conversion of NO was stable for at least 300 min of the reaction. X-ray diffraction, FTIR spectroscopy, thermogravimetry and differential thermal analysis, x-ray photoelectron spectroscopy (XPS), elemental analysis and N₂ adsorption measurement revealed that the ammonium sulfate species were generated after the reaction. There was a strong negative correlation between the deposition amount of the ammonium sulfate species and the specific surface area. Based on the above relationship, we concluded that the deposition of the ammonium sulfate species decreased the specific surface area by plugging the pore structure of the catalyst, and the decrease of the specific surface area resulted in the deactivation of the catalyst.     

TCBR-HMM: An HMM-based text classifier with a CBR system

This paper presents an innovative solution to model distributed adaptive systems in biomedical environments. We present an original TCBR-HMM (Text Case Based Reasoning-Hidden Markov Model) for biomedical text classification based on document content. The main goal is to propose a more effective classifier than current methods in this environment where the model needs to be adapted to new documents in an iterative learning frame. To demonstrate its achievement, we include a set of experiments, which have been performed on OSHUMED corpus. Our classifier is compared with Naive Bayes and SVM techniques, commonly used in text classification tasks. The results suggest that the TCBR-HMM Model is indeed more suitable for document classification. The model is empirically and statistically comparable to the SVM classifier and outperforms it in terms of time efficiency.     

不同晶相结构ZrO2负载铜基催化剂用于二乙醇胺脱氢反应

通过制备不同晶相结构〔单斜相(m-ZrO_2)、四方相(t-ZrO_2)和无定型(a-ZrO_2)〕ZrO_2载体,再通过沉积沉淀法制得Cu/m-ZrO_2、Cu/t-ZrO_2和Cu/a-ZrO_2催化剂,分别用于催化二乙醇胺脱氢合成亚氨基二乙酸反应。采用XRD、氮气物理吸附脱附、XPS、H_2-TPR、CO_2-TPD对催化剂的结构进行了表征。结果表明,Cu/m-ZrO_2催化剂界面更加有利于Cu~+/Cu~0稳定存在,具有更多的碱性位点,且抗氧化性较好。在二乙醇胺脱氢反应中,Cu/m-ZrO_2催化剂性能最好,反应时间为2.5 h,亚氨基二乙酸收率为97.64%。     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Model repair — aligning process models to reality

Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities.     

青年医学工作者科普能力培养新模式

为了培养青年医师运用医学科普语言传播医学知识的能力，向社会提供更优质、可及的健康知识，改善医患关系，促进社会和谐；同时出于向社区、媒体推送一批优秀青年医学科普人才的考虑，本文在总结北京协和医院培养青年医务人员医学科普能力经验的基础上，尝试构建一套适合大型公立医院（尤其是教学医院）培养青年医务人员医学科普能力的新模式——“科普训练营”。本文旨在系统介绍该模式的产生背景、实践经验及初期效果，阐释实施后的重要意义，及实施过程中的挑战与应对策略。